$\forall$$T$:Type, $L$:($T$ List). $\parallel$rev($L$)$\parallel$ $\sim$ $\parallel$$L$$\parallel$